mini-os: arm: memory management
authorThomas Leonard <talex5@gmail.com>
Fri, 8 Aug 2014 15:47:35 +0000 (16:47 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 8 Sep 2014 11:16:27 +0000 (12:16 +0100)
commit7262f0a93ae43de18577307e6139ab0600e51749
tree86ffdbc56a5d3d9f01e8c8d5e0d1f6571049e039
parentdce56dfac03cdc55b95e764b953f459ca0abe5b6
mini-os: arm: memory management

Based on an initial patch by Karim Raslan.

Signed-off-by: Karim Allah Ahmed <karim.allah.ahmed@gmail.com>
Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
extras/mini-os/arch/arm/mm.c [new file with mode: 0644]